Issue67.java

// Test case for Issue 67
// https://github.com/typetools/checker-framework/issues/67

import java.util.HashMap;
import java.util.Map;

class Issue67 {
    private static final String KEY = "key";
    private static final String KEY2 = "key2";

    void test() {
        Map<String, String> map = new HashMap<String, String>();
        if (map.containsKey(KEY)) {
            map.get(KEY).toString(); // no problem
        }
        //:: warning: (known.nonnull)
        if (map.containsKey(KEY2) && map.get(KEY2).toString() != null) { // error
            // do nothing
        }
    }
}